61. Formal methods and software engineering :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses

رده :
QA76
.
9
.
F67
I34
2011

62. Formal methods and software engineering :

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Formal methods (Computer science) ; Congresses. ;

63. Formal methods and software engineering

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses

رده :
QA76
.
9
.
F67
I584
2009

64. Formal methods and software engineering :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
9
.
F67

65. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

المؤلف:

المکتبة: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)

موضوع: Formal methods (Computer science)--Congresses,Software engineering--Congresses

رده :
QA76
.
9
.
F67
I57

66. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering

رده :
QA
76
.
L28
Vol
.
3785

67. Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering

رده :
QA
76
.
L28
Vol
.
3308

68. Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering

رده :
QA
76
.
L28
Vol
.
2495

69. Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering

رده :
QA
76
.
L28
Vol
.
2885

70. Formal methods for components and objects :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses

رده :
QA76
.
9
.
F67
F53
2012

71. Formal methods for components and objects

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Formal methods (Computer science)--Congresses,Component software--Congresses,Object-oriented programming (Computer science)--Congresses

رده :
QA
,
76
.
9
,.
F67
,
F53
,
2005

72. Formal methods for components and objects

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: oriented programming (Computer science) ; Congresses. ; -Formal methods (Computer science) ; Congresses. ; Component software ; Congresses. ; Object

73. Formal methods for components and objects

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses

رده :
QA76
.
9
.
F67
F53
2010eb

74. Formal methods for components and objects :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Component software, Congresses,Formal methods (Computer science), Congresses,Object-oriented programming (Computer science), Congresses

رده :
QA76
.
9
.
F67
F53
2002

75. Formal methods for components and objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(

رده :
QA
76
.
L28
Vol
.
3188

76. Formal methods for components and objects : first International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(

رده :
QA
76
.
L28
Vol
.
2852

77. Formal methods for components and objects : third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(

رده :
QA
76
.
L28
Vol
.
3657

78. Formal methods for distributed system development :October 10-13, 2000, Pisa, Italy

المؤلف:

المکتبة: (سمنان)

موضوع: Congresses ، Electronic data processing- Distributed processing,Congresses ، Formal methods )Computer science(

رده :
QA
76
.
9
.
F67

79. Formal methods for dynamical systems

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses,System design, Congresses

رده :
QA76
.
9
.
F67
.
I58
2013

80. Formal methods for industrial critical systems :

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Formal methods (Computer science) ; Congresses. ;